Rajeev Alur - PDFSEARCH.IO - Document Search Engine

Rajeev Alur
Results: 97

#	Item
91	The Benefits of Relaxing Punctuality RAJEEV ALUR Bell Labomtories, Murray Hill, New Jersey TOtiS Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:50:12 FO Linear temporal logic Mathematics If and only if Logic
92	DOCTORAL CANDIDATE: Daniela Lepri DEGREE: Add to Reading List Source URL: www.mn.uio.no Language: English Model checking Academia Knowledge Logic Formal methods Temporal logic Mathematical logic Formal verification Rajeev Alur Formal sciences Model checkers Science
93	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
94	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03 Nested word Words Temporal logic Nesting Stack Mathematical logic Model checking Scope FO Theoretical computer science Automata theory Software engineering
95	Adding Nesting Structure to Words RAJEEV ALUR University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-12-06 15:48:58 Models of computation Computer science Mathematics Nested word Words Regular tree grammar Finite-state machine Muller automaton Nesting Automata theory Formal languages Theoretical computer science
96	Visibly Pushdown Languages ∗ Rajeev Alur University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:24 Theoretical computer science Models of computation Computer science Nested word Deterministic pushdown automaton Pushdown automaton Deterministic context-free language Context-free language Omega language Automata theory Theory of computation Formal languages
97	Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Add to Reading List Source URL: drona.csa.iisc.ernet.in Language: English - Date: 2009-08-11 01:52:42 Abstraction Systems theory Software Simulation software Numerical software Stateflow Simulink Model-based design Hybrid system Visual programming languages Mathematical modeling Mathematics